Failed to solve the following constraints:
  _11 = suc _11 : Nat (blocked on _11)
Unsolved metas at the following locations:
  OccursCheck1.agda:18,11-12
  OccursCheck1.agda:20,8-12
